大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 with applications in the management 的图书(共8747本)

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

0
索取号：
作者：H盲hnle、 Reiner.、Knoop、 Jens.、Margaria、 Tiziana.、Schreiner、 Dietmar.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computational Collective Intelligence. Technologies and Applications [electronic resource] : 4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 28-30, 2012, Proceedings, Part II

0
索取号：
作者：Nguyen、 Ngoc-Thanh.、Hoang、 Kiem.、Je抬drzejowicz、 Piotr.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computational Collective Intelligence. Technologies and Applications [electronic resource] : 4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 28-30, 2012, Proceedings, Part I

0
索取号：
作者：Nguyen、 Ngoc-Thanh.、Hoang、 Kiem.、Je抬drzejowicz、 Piotr.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Transactions on Large-Scale Data- and Knowledge-Centered Systems VI [electronic resource] : Special Issue on Database- and Expert-Systems Applications

0
索取号：
作者：Hameurlain、 Abdelkader.、K眉ng、 Josef.、Wagner、 Roland.、Liddle、 Stephen W.、Schewe、 Klaus-Dieter.、Zhou、 Xiaofang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Applications of Graph Transformations with Industrial Relevance [electronic resource] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers

0
索取号：
作者：Sch眉rr、 Andy.、Varr贸、 D谩niel.、Varr贸、 Gergely.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Information Computing and Applications [electronic resource] : Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings

0
索取号：
作者：Liu、 Baoxiang.、Ma、 Maode.、Chang、 Jincai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Large-Scale Complex IT Systems. Development, Operation and Management [electronic resource] : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

0
索取号：
作者：Calinescu、 Radu.、Garlan、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Information Computing and Applications [electronic resource] : Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings, Part II

0
索取号：
作者：Liu、 Chunfeng.、Wang、 Leizhen.、Yang、 Aimin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Information Computing and Applications [electronic resource] : Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings, Part I

0
索取号：
作者：Liu、 Chunfeng.、Wang、 Leizhen.、Yang、 Aimin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Rewriting Logic and Its Applications [electronic resource] : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers

0
索取号：
作者：Dur谩n、 Franciso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Production Management Systems. Value Networks: Innovation, Technologies, and Management [electronic resource] : IFIP WG 5.7 International Conference, APMS 2011, Stavanger, Norway, September 26-28, 2011, Revised Selected Papers

0
索取号：
作者：Frick、 Jan.、Laugen、 Bj酶rge Timenes.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Knowledge Engineering and Knowledge Management [electronic resource] : 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012. Proceedings

0
索取号：
作者：Teije、 Annette.、V枚lker、 Johanna.、Handschuh、 Siegfried.、Stuckenschmidt、 Heiner.、d鈥橝cquin、 Mathieu.、Nikolov、 Andriy.、Aussenac-Gilles、 Nathalie.、Hernandez、 Nathalie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Serious Games Development and Applications [electronic resource] : Third International Conference, SGDA 2012, Bremen, Germany, September 26-29, 2012. Proceedings

0
索取号：
作者：Ma、 Minhua.、Oliveira、 Manuel Fradinho.、Hauge、 Jannicke Baalsrud.、Duin、 Heiko.、Thoben、 Klaus-Dieter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Abdominal Imaging. Computational and Clinical Applications [electronic resource] : 4th International Workshop, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012. Proceedings

0
索取号：
作者：Yoshida、 Hiroyuki.、Hawkes、 David.、Vannier、 Michael W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.